Nuprl Definition : Msg
0,22
postcript
pdf
Msg(
M
) ==
l
:IdLnk
t
:Id
M
(
l
,
t
)
latex
Definitions
Id
,
IdLnk
,
Msg(
M
)
FDL editor aliases
Msg
origin
t:IdM(l,t) t:IdM(l,t)